"Paulo Tabuada" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verification and Control of Hybrid Systems: A Symbolic Approach

Paulo Tabuada

4.43 Mb

#2

Networked Embedded Sensing and Control: Workshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings (Lecture Notes in Control and Information Sciences)

Panos J. Antsaklis, Paulo Tabuada

4.66 Mb